\relax 
\citation{Stev07}
\citation{AnCz07}
\citation{QVT05}
\citation{AnCz07}
\citation{XLHZ07}
\citation{GiWa06}
\citation{AnCz06}
\citation{Lamm04}
\citation{EEEH07}
\citation{GrHM98}
\citation{Garc08}
\citation{BrMa03}
\citation{Stev07}
\citation{FGMPS05}
\citation{MHNHT07}
\citation{BFPPS08}
\citation{EEEH07}
\citation{XLHZ07}
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{1}}
\newlabel{sec:introduction}{{1}{1}}
\citation{TEGL05}
\citation{TEGL05}
\citation{CzHe03}
\citation{KlKS07}
\citation{FGMPS05}
\citation{MHNHT07}
\citation{BFPPS08}
\citation{HuMT08}
\citation{BuFS00}
\citation{HHKN08}
\citation{BuFS00}
\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces An Algebraic Framework for Bidirectional Model Transformation Framework }}{2}}
\newlabel{fig:overview}{{1}{2}}
\@writefile{toc}{\contentsline {section}{\numberline {2}Graph Data Model and Structural Recursion on Graphs}{2}}
\newlabel{sec:graph}{{2}{2}}
\citation{BRST05}
\citation{BuFS00}
\@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces A Simple Graph}}{3}}
\newlabel{fig:graph1}{{2}{3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1}Graph Data Model}{3}}
\@writefile{lof}{\contentsline {figure}{\numberline {3}{\ignorespaces A Class Diagram }}{3}}
\newlabel{fig:classDiagram}{{3}{3}}
\citation{HITT97}
\citation{BuFS00}
\@writefile{lof}{\contentsline {figure}{\numberline {4}{\ignorespaces A Class Model Represented by an Edge-Labelled Graph}}{4}}
\newlabel{fig:class}{{4}{4}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2}Structural recursion in UnQL}{4}}
\newlabel{sec:sr}{{2.2}{4}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {2.2.1}Structural Recursion}{4}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {2.2.2}Bulk Semantics}{4}}
\citation{BuFS00}
\citation{BuFS00}
\citation{HHKN08}
\citation{BuFS00}
\citation{HHKN08}
\citation{TEGL05}
\@writefile{lof}{\contentsline {figure}{\numberline {5}{\ignorespaces A Simple Edge-labelled Graph}}{5}}
\newlabel{fig:graph23}{{5}{5}}
\@writefile{toc}{\contentsline {section}{\numberline {3}Model Querying and Transformation}{5}}
\newlabel{sec:unqlx}{{3}{5}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1}Model Querying in UnQL}{5}}
\newlabel{sec:unql}{{3.1}{5}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2}Model Transformation in \unhbox \voidb@x \hbox {UnQL$^+$}\xspace  }{5}}
\citation{BuFS00}
\citation{HHKN08}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3}Compositional Transformation}{6}}
\newlabel{sec:composition}{{3.3}{6}}
\@writefile{toc}{\contentsline {section}{\numberline {4}Desugaring \unhbox \voidb@x \hbox {UnQL$^+$}\xspace  to Graph Algebra}{6}}
\newlabel{sec:desugar}{{4}{6}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1}Graph Constructors}{6}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2}UnCAL: A Graph Algebra}{6}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3}Mapping to UnCAL}{6}}
\citation{FGMPS05}
\citation{FGMPS05}
\@writefile{lof}{\contentsline {figure}{\numberline {6}{\ignorespaces UnCAL: A Graph Algebra}}{7}}
\newlabel{fig:uncal}{{6}{7}}
\@writefile{toc}{\contentsline {section}{\numberline {5}Bidirectional Evaluator}{7}}
\newlabel{sec:implementation}{{5}{7}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.1}Bidirectionalizing UnCAL}{7}}
\newlabel{sec:bidirectionalization}{{5.1}{7}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.1.1}Bidirectional Properties}{7}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.1.2}Bidirectional Interpretation of UnCAL}{7}}
\citation{BuFS00}
\@writefile{lof}{\contentsline {figure}{\numberline {7}{\ignorespaces Forward Computation Rules}}{8}}
\newlabel{fig:fwd}{{7}{8}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2}Optimization by Fusion}{8}}
\newlabel{sec:optimization}{{5.2}{8}}
\citation{BRST05}
\@writefile{lof}{\contentsline {figure}{\numberline {8}{\ignorespaces Backward Computation Rules}}{9}}
\newlabel{fig:bwd}{{8}{9}}
\@writefile{toc}{\contentsline {section}{\numberline {6}An Application: Class2RDBMS}{9}}
\newlabel{sec:application}{{6}{9}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.1}Specification of Class2RDBMS}{9}}
\@writefile{lof}{\contentsline {figure}{\numberline {9}{\ignorespaces A RDBMS Model}}{9}}
\newlabel{fig:tableDiagram}{{9}{9}}
\citation{TEGL05}
\citation{QVT05}
\citation{JoKu06a}
\citation{Taen03}
\citation{KoSc06}
\citation{GiWa06}
\citation{Prat71}
\citation{ShOO99}
\citation{BuFS00}
\citation{BuFS00}
\citation{FGMPS05}
\citation{MHNHT07}
\citation{BFPPS08}
\citation{HuMT08}
\citation{QVT05}
\citation{Stev07}
\citation{XLHZ07}
\citation{AnCz07}
\bibstyle{latex8}
\bibdata{reference}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.2}Class2RDBMS in \unhbox \voidb@x \hbox {UnQL$^+$}\xspace  }{10}}
\@writefile{toc}{\contentsline {section}{\numberline {7}Related Work}{10}}
\newlabel{sec:relatedWork}{{7}{10}}
\@writefile{toc}{\contentsline {section}{\numberline {8}Conclusions}{10}}
\newlabel{sec:conclusion}{{8}{10}}
\@writefile{lof}{\contentsline {figure}{\numberline {10}{\ignorespaces Class2RDBMS in \unhbox \voidb@x \hbox {UnQL$^+$}\xspace  }}{11}}
\newlabel{fig:class2rdb}{{10}{11}}
